product measurable set

积可测集